beta conversion
beta conversion
in Technology
theory
A term from
lambda-calculus
for
beta reduction
or
beta abstraction
.
(1999-01-15)